1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
المؤلف: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297

